diagonalization of matrix